Optimal. Leaf size=130 \[ \frac{x^{5/2}}{5 a^2 \left (a x+b x^3\right )^{5/2}}+\frac{x^{3/2}}{3 a^3 \left (a x+b x^3\right )^{3/2}}+\frac{\sqrt{x}}{a^4 \sqrt{a x+b x^3}}-\frac{\tanh ^{-1}\left (\frac{\sqrt{a} \sqrt{x}}{\sqrt{a x+b x^3}}\right )}{a^{9/2}}+\frac{x^{7/2}}{7 a \left (a x+b x^3\right )^{7/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.202778, antiderivative size = 130, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 3, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.158, Rules used = {2023, 2029, 206} \[ \frac{x^{5/2}}{5 a^2 \left (a x+b x^3\right )^{5/2}}+\frac{x^{3/2}}{3 a^3 \left (a x+b x^3\right )^{3/2}}+\frac{\sqrt{x}}{a^4 \sqrt{a x+b x^3}}-\frac{\tanh ^{-1}\left (\frac{\sqrt{a} \sqrt{x}}{\sqrt{a x+b x^3}}\right )}{a^{9/2}}+\frac{x^{7/2}}{7 a \left (a x+b x^3\right )^{7/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2023
Rule 2029
Rule 206
Rubi steps
\begin{align*} \int \frac{x^{7/2}}{\left (a x+b x^3\right )^{9/2}} \, dx &=\frac{x^{7/2}}{7 a \left (a x+b x^3\right )^{7/2}}+\frac{\int \frac{x^{5/2}}{\left (a x+b x^3\right )^{7/2}} \, dx}{a}\\ &=\frac{x^{7/2}}{7 a \left (a x+b x^3\right )^{7/2}}+\frac{x^{5/2}}{5 a^2 \left (a x+b x^3\right )^{5/2}}+\frac{\int \frac{x^{3/2}}{\left (a x+b x^3\right )^{5/2}} \, dx}{a^2}\\ &=\frac{x^{7/2}}{7 a \left (a x+b x^3\right )^{7/2}}+\frac{x^{5/2}}{5 a^2 \left (a x+b x^3\right )^{5/2}}+\frac{x^{3/2}}{3 a^3 \left (a x+b x^3\right )^{3/2}}+\frac{\int \frac{\sqrt{x}}{\left (a x+b x^3\right )^{3/2}} \, dx}{a^3}\\ &=\frac{x^{7/2}}{7 a \left (a x+b x^3\right )^{7/2}}+\frac{x^{5/2}}{5 a^2 \left (a x+b x^3\right )^{5/2}}+\frac{x^{3/2}}{3 a^3 \left (a x+b x^3\right )^{3/2}}+\frac{\sqrt{x}}{a^4 \sqrt{a x+b x^3}}+\frac{\int \frac{1}{\sqrt{x} \sqrt{a x+b x^3}} \, dx}{a^4}\\ &=\frac{x^{7/2}}{7 a \left (a x+b x^3\right )^{7/2}}+\frac{x^{5/2}}{5 a^2 \left (a x+b x^3\right )^{5/2}}+\frac{x^{3/2}}{3 a^3 \left (a x+b x^3\right )^{3/2}}+\frac{\sqrt{x}}{a^4 \sqrt{a x+b x^3}}-\frac{\operatorname{Subst}\left (\int \frac{1}{1-a x^2} \, dx,x,\frac{\sqrt{x}}{\sqrt{a x+b x^3}}\right )}{a^4}\\ &=\frac{x^{7/2}}{7 a \left (a x+b x^3\right )^{7/2}}+\frac{x^{5/2}}{5 a^2 \left (a x+b x^3\right )^{5/2}}+\frac{x^{3/2}}{3 a^3 \left (a x+b x^3\right )^{3/2}}+\frac{\sqrt{x}}{a^4 \sqrt{a x+b x^3}}-\frac{\tanh ^{-1}\left (\frac{\sqrt{a} \sqrt{x}}{\sqrt{a x+b x^3}}\right )}{a^{9/2}}\\ \end{align*}
Mathematica [C] time = 0.0117814, size = 43, normalized size = 0.33 \[ \frac{x^{7/2} \, _2F_1\left (-\frac{7}{2},1;-\frac{5}{2};\frac{b x^2}{a}+1\right )}{7 a \left (x \left (a+b x^2\right )\right )^{7/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.012, size = 217, normalized size = 1.7 \begin{align*} -{\frac{1}{105\, \left ( b{x}^{2}+a \right ) ^{4}}\sqrt{x \left ( b{x}^{2}+a \right ) } \left ( 105\,\ln \left ( 2\,{\frac{\sqrt{a}\sqrt{b{x}^{2}+a}+a}{x}} \right ){x}^{6}{b}^{3}\sqrt{b{x}^{2}+a}-105\,\sqrt{a}{x}^{6}{b}^{3}+315\,\ln \left ( 2\,{\frac{\sqrt{a}\sqrt{b{x}^{2}+a}+a}{x}} \right ){x}^{4}a{b}^{2}\sqrt{b{x}^{2}+a}-350\,{a}^{3/2}{x}^{4}{b}^{2}+315\,\ln \left ( 2\,{\frac{\sqrt{a}\sqrt{b{x}^{2}+a}+a}{x}} \right ){x}^{2}{a}^{2}b\sqrt{b{x}^{2}+a}-406\,{a}^{5/2}{x}^{2}b+105\,\ln \left ( 2\,{\frac{\sqrt{a}\sqrt{b{x}^{2}+a}+a}{x}} \right ){a}^{3}\sqrt{b{x}^{2}+a}-176\,{a}^{7/2} \right ){a}^{-{\frac{9}{2}}}{\frac{1}{\sqrt{x}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{\frac{7}{2}}}{{\left (b x^{3} + a x\right )}^{\frac{9}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.29511, size = 803, normalized size = 6.18 \begin{align*} \left [\frac{105 \,{\left (b^{4} x^{9} + 4 \, a b^{3} x^{7} + 6 \, a^{2} b^{2} x^{5} + 4 \, a^{3} b x^{3} + a^{4} x\right )} \sqrt{a} \log \left (\frac{b x^{3} + 2 \, a x - 2 \, \sqrt{b x^{3} + a x} \sqrt{a} \sqrt{x}}{x^{3}}\right ) + 2 \,{\left (105 \, a b^{3} x^{6} + 350 \, a^{2} b^{2} x^{4} + 406 \, a^{3} b x^{2} + 176 \, a^{4}\right )} \sqrt{b x^{3} + a x} \sqrt{x}}{210 \,{\left (a^{5} b^{4} x^{9} + 4 \, a^{6} b^{3} x^{7} + 6 \, a^{7} b^{2} x^{5} + 4 \, a^{8} b x^{3} + a^{9} x\right )}}, \frac{105 \,{\left (b^{4} x^{9} + 4 \, a b^{3} x^{7} + 6 \, a^{2} b^{2} x^{5} + 4 \, a^{3} b x^{3} + a^{4} x\right )} \sqrt{-a} \arctan \left (\frac{\sqrt{b x^{3} + a x} \sqrt{-a}}{a \sqrt{x}}\right ) +{\left (105 \, a b^{3} x^{6} + 350 \, a^{2} b^{2} x^{4} + 406 \, a^{3} b x^{2} + 176 \, a^{4}\right )} \sqrt{b x^{3} + a x} \sqrt{x}}{105 \,{\left (a^{5} b^{4} x^{9} + 4 \, a^{6} b^{3} x^{7} + 6 \, a^{7} b^{2} x^{5} + 4 \, a^{8} b x^{3} + a^{9} x\right )}}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.28796, size = 154, normalized size = 1.18 \begin{align*} \frac{\arctan \left (\frac{\sqrt{b x^{2} + a}}{\sqrt{-a}}\right )}{\sqrt{-a} a^{4}} - \frac{105 \, \sqrt{a} \arctan \left (\frac{\sqrt{a}}{\sqrt{-a}}\right ) + 176 \, \sqrt{-a}}{105 \, \sqrt{-a} a^{\frac{9}{2}}} + \frac{105 \,{\left (b x^{2} + a\right )}^{3} + 35 \,{\left (b x^{2} + a\right )}^{2} a + 21 \,{\left (b x^{2} + a\right )} a^{2} + 15 \, a^{3}}{105 \,{\left (b x^{2} + a\right )}^{\frac{7}{2}} a^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]